Merge branch 'for-master' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Fri, 31 May 2019 04:07:11 +0000 (04:07 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Fri, 31 May 2019 04:07:11 +0000 (04:07 +0000)
For master

See merge request GNOME/gtk!892


Trivial merge